ASM Ground Model and Refinement for Data Warehouses
نویسندگان
چکیده
Data Warehouses and on-line analytical processing (OLAP) systems are a promising area for the application of Abstract State Machines (ASMs). In this paper a ground model specification for data warehouses is sketched that is based on the fundamental idea of separating input from operational databases and output to OLAP systems. On this basis we start defining formal refinement rules for such systems. These refinement rules enable a formal method for the design of data warehouses and OLAP systems that can be applied without knowing details of the ASM formalism.
منابع مشابه
Balancing Redundancy and Query Costs in Distributed Data Warehouses
Abstract State Machines (ASMs) encourage highlevel system specifications without forcing the development into the “formal methods straightjacket”. This makes them an ideal formal method for applications in areas, where otherwise only semi-formal methods are used. One such area is the development of data warehouse and on-line analytical processing (OLAP) applications to which this article contri...
متن کاملRefinements in Typed Abstract State Machines
While Abstract State Machines (ASMs) provide a general purpose development method, it is advantageous to provide extensions that ease their use in particular application areas. This paper focuses on such extensions for the benefit of a “refinement calculus” in the area of data warehouses and on-line analytical processing (OLAP). We show that providing typed ASMs helps to exploit the existing lo...
متن کاملDynamic Data Warehouse Design with Abstract State Machines
On-line analytical processing (OLAP) systems deal with analytical tasks that support decision making. As these tasks do not depend on the latest updates by transactions, it is assumed that the data required by OLAP systems are kept in a data warehouse, which separates the input from operational databases from the outputs to OLAP. However, user requirements for OLAP systems change over time. Dat...
متن کاملThe ASM Method: a Cornerstone in Computer Science Education
The versatility and wide applicability of the Abstract State Machines Method for the design and the analysis of computational systems has not yet been fully exploited for teaching. We suggest to use it for introducing basic algorithmic concepts in a succinct and uniform way, which makes the definitions adoptable in traditionally unrelated courses, covering the full range of computing science cu...
متن کاملThe ASM Ground Model Method as a Foundation for Requirements Engineering
Building ground models is one of the three constituents of the engineering method for computer-based systems which is known as Abstract State Machine (ASM) method [16]. In this note we character-State Machine (ASM) method [16]. In this note we characterize ground models, whose epistemological role for a foundation of system design resembles the one Aristotle assigned to axioms to ground science...
متن کامل